predicate calculus language
[计] 谓词演算语言
热门查询
- multilateral adj. [数] 多边的；多国的，多国参加的
- deconstructive 解构主义
- ineptness n. 拙劣；荒谬
- beatification n. 受福；列福式；（天主教）宣福礼
- wigwam n. [建] 棚屋；简陋小屋；总部；拱形顶
- ujamaa n. 乌贾马，家族式社会主义(坦桑尼亚的一种社会主义形式)
- stooge n. 喜剧里的配角或丑角；助手；傀儡；密探 vi. 充当配角；巡航
- tart n. 果馅饼；妓女 adj. 酸的；锋利的；尖刻的 vt. 打扮 n. (Tart)人名；(英)塔特
- placer n. 冲积矿；放置者 n. (Placer)人名；(捷)普拉采尔；(西)普拉塞尔
- knight n. 骑士，武士；爵士 vt. 授以爵位 n. (Knight)人名；(英)奈特
- Feetham n. (Feetham)人名；(英)菲瑟姆
- Herts n. 赫特福德郡(位于英国英格兰东南部)
- clearness n. 明白；晴朗；明亮
- Piaf n. (Piaf)人名；(法)皮亚夫 abbr. 心房颤动药物介入（pharmacological intervention in atrial fibrillation）
- centralize vt. 使集中；使成为…的中心；使集权 vi. 集中；实行中央集权
- lawful adj. 合法的；法定的；法律许可的
- hadron n. [高能] 强子（参与强相互作用的基本粒子）
- ease n. 轻松，舒适；安逸，悠闲 vt. 减轻，缓和；使安心 vi. 减轻，缓和；放松；灵活地移动
- sorry adj. 遗憾的；对不起的，抱歉的 int. 对不起，抱歉（表示委婉的拒绝等）
- palanquin n. 轿子；肩舆
考试词汇表
